Like IA32 PAE xenlinux, we also need make VMX guest 1:1 page table PGD
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 15 Sep 2005 09:12:03 +0000 (09:12 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 15 Sep 2005 09:12:03 +0000 (09:12 +0000)
commit76c3e5afc26db73906c0546288f0f4de52d5a216
treefc67c46951b43165f90df24556f96f75ee84adaf
parent8db030c862187372c09948138a395b790b7f290a
Like IA32 PAE xenlinux, we also need make VMX guest 1:1 page table PGD
page below 4G.

Signed-off-by: Xin Li <xin.b.li@intel.com>
Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>
Signed-off-by: Yunhong Jiang <yunhong.jiang@intel.com>
Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
tools/libxc/xc_vmx_build.c